EState($T$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x$:Id$\rightarrow$rationals$\rightarrow$$T$($x$)